$\forall$${\it es}$, ${\it es'}$:ES, $P$:(${\it es}$:ES$\rightarrow$E$\rightarrow\mathbb{P}$). ${\it es}$ $\equiv$ ${\it es'}$ mod ${\it es}$,$e$.$P$(${\it es}$,$e$) $\Rightarrow$ ${\it es'}$ $\equiv$ ${\it es}$ mod ${\it es}$,$e$.$P$(${\it es}$,$e$)